Philosophie Lexikon der ArgumenteHome | |||
| |||
Leopold Löwenheim: Leopold Löwenheim (1878-1957) war ein deutscher Mathematiker, der sich mit mathematischer Logik beschäftigte. Er ist vor allem für den Löwenheim-Skolem-Satz bekannt, der besagt, dass jede Theorie erster Ordnung mit einem unendlichen Modell auch ein abzählbares Modell hat. Siehe auch Modelle, Modelltheorie, Erfüllung, Erfüllbarkeit, Unendlichkeit, Abzählbarkeit, Reelle Zahlen, Zahlen, Wortbedeutung, Satzbedeutung, Referenz, Mehrdeutigkeit._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Hartry Field über Löwenheim, Satz v. – Lexikon der Argumente
I 131 Löwenheim-Skolem/abwärts/Field: Löwenheim-Skolem sagt, dass es für konsistente Theorien 1. Stufe keine überabzählbaren Modelle geben darf. Kompaktheitstheorem/Löwenheim-Skolem/aufwärts: Das Kompaktheitstheorem besagt, dass jede Raumzeit-Theorie 1. Stufe, nach der es unendlich viele Raumzeit-Punkte gibt, Modelle haben wird, in denen die Menge der Raumzeit-Punkte mächtiger als die Menge der reellen Zahlen ist. Problem: Dann gilt das Repräsentations-Theorem nicht. >Repräsentationstheorem._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Field I H. Field Realism, Mathematics and Modality Oxford New York 1989 Field II H. Field Truth and the Absence of Fact Oxford New York 2001 Field III H. Field Science without numbers Princeton New Jersey 1980 Field IV Hartry Field "Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67 In Theories of Truth, Paul Horwich Aldershot 1994 |